Apropositionalformulaix)describingtheinitialcongurationsofthesystem published presentations and documents on DocSlides.